a closure is like this:
tag: tclos
value: pointer into the heap

and in the heap we have:

[label][env length][env0][env1]...
